منابع مشابه
Functional Programming for Imperative Programmers
This document introduces functional programming for those that are used to imperative languages, but are trying to come to terms with recursion and other techniques used in functional programming. We use OCaml as the primary language, and we assume that the reader has been introduced to its basic syntax and features. The goal of this document is to help these programmers get more comfortable wi...
متن کاملImperative Functional Programming Brief Summary
Our Haskell compiler has C as its target code. Given a Haskell program performing an I/O loop, the compiler can produce C code which is very similar to that which one would write by hand. Its eeciency is achieved by applying simple program transformations. We use unboxed data types 4] to expose representation and order-of-evaluation detail to code-improving transformations, rather than relying ...
متن کاملThe Imperative and Functional Programming Paradigm
In Turing (1937) a characterization is given of those functions that can be computed using a mechanical device. Moreover it was shown that some precisely stated problems cannot be decided by such functions. In order to give evidence for the power of this model of computation, Turing showed in the same paper that machine computability has the same strength as definability via λ-calculus, introdu...
متن کاملImperative Functional Programming with Isabelle/HOL
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of programs, a polymorphic heap model using enumeration encodings and type classes, and a state-exception monad similar to known counterparts from Haskell. Existing proof automation tools are easily adapted to provide a ve...
متن کاملA Type System for Functional Imperative Programming (Technical Summary)
In this paper, we explore the design of a powerful type system that provides a general mechanism to encapsulate low-level imperative program fragments into type-safe functional abstractions without imposing any single-threadedness constraint. Although connuence is the responsibility of the user, the type system guarantees that data-structures exported out of the functional abstraction are fully...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 1996
ISSN: 0360-0300,1557-7341
DOI: 10.1145/234528.234736